3.549 \(\int \frac{A+B x^3}{(e x)^{5/2} \sqrt{a+b x^3}} \, dx\)

Optimal. Leaf size=75 \[ \frac{2 B \tanh ^{-1}\left (\frac{\sqrt{b} (e x)^{3/2}}{e^{3/2} \sqrt{a+b x^3}}\right )}{3 \sqrt{b} e^{5/2}}-\frac{2 A \sqrt{a+b x^3}}{3 a e (e x)^{3/2}} \]

[Out]

(-2*A*Sqrt[a + b*x^3])/(3*a*e*(e*x)^(3/2)) + (2*B*ArcTanh[(Sqrt[b]*(e*x)^(3/2))/(e^(3/2)*Sqrt[a + b*x^3])])/(3
*Sqrt[b]*e^(5/2))

________________________________________________________________________________________

Rubi [A]  time = 0.0570957, antiderivative size = 75, normalized size of antiderivative = 1., number of steps used = 5, number of rules used = 5, integrand size = 26, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.192, Rules used = {451, 329, 275, 217, 206} \[ \frac{2 B \tanh ^{-1}\left (\frac{\sqrt{b} (e x)^{3/2}}{e^{3/2} \sqrt{a+b x^3}}\right )}{3 \sqrt{b} e^{5/2}}-\frac{2 A \sqrt{a+b x^3}}{3 a e (e x)^{3/2}} \]

Antiderivative was successfully verified.

[In]

Int[(A + B*x^3)/((e*x)^(5/2)*Sqrt[a + b*x^3]),x]

[Out]

(-2*A*Sqrt[a + b*x^3])/(3*a*e*(e*x)^(3/2)) + (2*B*ArcTanh[(Sqrt[b]*(e*x)^(3/2))/(e^(3/2)*Sqrt[a + b*x^3])])/(3
*Sqrt[b]*e^(5/2))

Rule 451

Int[((e_.)*(x_))^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_.)*((c_) + (d_.)*(x_)^(n_)), x_Symbol] :> Simp[(c*(e*x)^(m
+ 1)*(a + b*x^n)^(p + 1))/(a*e*(m + 1)), x] + Dist[d/e^n, Int[(e*x)^(m + n)*(a + b*x^n)^p, x], x] /; FreeQ[{a,
 b, c, d, e, m, n, p}, x] && NeQ[b*c - a*d, 0] && EqQ[m + n*(p + 1) + 1, 0] && (IntegerQ[n] || GtQ[e, 0]) && (
(GtQ[n, 0] && LtQ[m, -1]) || (LtQ[n, 0] && GtQ[m + n, -1]))

Rule 329

Int[((c_.)*(x_))^(m_)*((a_) + (b_.)*(x_)^(n_))^(p_), x_Symbol] :> With[{k = Denominator[m]}, Dist[k/c, Subst[I
nt[x^(k*(m + 1) - 1)*(a + (b*x^(k*n))/c^n)^p, x], x, (c*x)^(1/k)], x]] /; FreeQ[{a, b, c, p}, x] && IGtQ[n, 0]
 && FractionQ[m] && IntBinomialQ[a, b, c, n, m, p, x]

Rule 275

Int[(x_)^(m_.)*((a_) + (b_.)*(x_)^(n_))^(p_), x_Symbol] :> With[{k = GCD[m + 1, n]}, Dist[1/k, Subst[Int[x^((m
 + 1)/k - 1)*(a + b*x^(n/k))^p, x], x, x^k], x] /; k != 1] /; FreeQ[{a, b, p}, x] && IGtQ[n, 0] && IntegerQ[m]

Rule 217

Int[1/Sqrt[(a_) + (b_.)*(x_)^2], x_Symbol] :> Subst[Int[1/(1 - b*x^2), x], x, x/Sqrt[a + b*x^2]] /; FreeQ[{a,
b}, x] &&  !GtQ[a, 0]

Rule 206

Int[((a_) + (b_.)*(x_)^2)^(-1), x_Symbol] :> Simp[(1*ArcTanh[(Rt[-b, 2]*x)/Rt[a, 2]])/(Rt[a, 2]*Rt[-b, 2]), x]
 /; FreeQ[{a, b}, x] && NegQ[a/b] && (GtQ[a, 0] || LtQ[b, 0])

Rubi steps

\begin{align*} \int \frac{A+B x^3}{(e x)^{5/2} \sqrt{a+b x^3}} \, dx &=-\frac{2 A \sqrt{a+b x^3}}{3 a e (e x)^{3/2}}+\frac{B \int \frac{\sqrt{e x}}{\sqrt{a+b x^3}} \, dx}{e^3}\\ &=-\frac{2 A \sqrt{a+b x^3}}{3 a e (e x)^{3/2}}+\frac{(2 B) \operatorname{Subst}\left (\int \frac{x^2}{\sqrt{a+\frac{b x^6}{e^3}}} \, dx,x,\sqrt{e x}\right )}{e^4}\\ &=-\frac{2 A \sqrt{a+b x^3}}{3 a e (e x)^{3/2}}+\frac{(2 B) \operatorname{Subst}\left (\int \frac{1}{\sqrt{a+\frac{b x^2}{e^3}}} \, dx,x,(e x)^{3/2}\right )}{3 e^4}\\ &=-\frac{2 A \sqrt{a+b x^3}}{3 a e (e x)^{3/2}}+\frac{(2 B) \operatorname{Subst}\left (\int \frac{1}{1-\frac{b x^2}{e^3}} \, dx,x,\frac{(e x)^{3/2}}{\sqrt{a+b x^3}}\right )}{3 e^4}\\ &=-\frac{2 A \sqrt{a+b x^3}}{3 a e (e x)^{3/2}}+\frac{2 B \tanh ^{-1}\left (\frac{\sqrt{b} (e x)^{3/2}}{e^{3/2} \sqrt{a+b x^3}}\right )}{3 \sqrt{b} e^{5/2}}\\ \end{align*}

Mathematica [A]  time = 0.038327, size = 65, normalized size = 0.87 \[ \frac{2 x \left (\frac{B x^{3/2} \tanh ^{-1}\left (\frac{\sqrt{b} x^{3/2}}{\sqrt{a+b x^3}}\right )}{\sqrt{b}}-\frac{A \sqrt{a+b x^3}}{a}\right )}{3 (e x)^{5/2}} \]

Antiderivative was successfully verified.

[In]

Integrate[(A + B*x^3)/((e*x)^(5/2)*Sqrt[a + b*x^3]),x]

[Out]

(2*x*(-((A*Sqrt[a + b*x^3])/a) + (B*x^(3/2)*ArcTanh[(Sqrt[b]*x^(3/2))/Sqrt[a + b*x^3]])/Sqrt[b]))/(3*(e*x)^(5/
2))

________________________________________________________________________________________

Maple [C]  time = 0.042, size = 3397, normalized size = 45.3 \begin{align*} \text{output too large to display} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

int((B*x^3+A)/(e*x)^(5/2)/(b*x^3+a)^(1/2),x)

[Out]

-2/3*(b*x^3+a)^(1/2)/x/b^2*(6*I*B*(-(I*3^(1/2)-3)*x*b/(-1+I*3^(1/2))/(-b*x+(-a*b^2)^(1/3)))^(1/2)*((I*3^(1/2)*
(-a*b^2)^(1/3)+2*b*x+(-a*b^2)^(1/3))/(I*3^(1/2)+1)/(-b*x+(-a*b^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-a*b^2)^(1/3)-2*b
*x-(-a*b^2)^(1/3))/(-1+I*3^(1/2))/(-b*x+(-a*b^2)^(1/3)))^(1/2)*EllipticF((-(I*3^(1/2)-3)*x*b/(-1+I*3^(1/2))/(-
b*x+(-a*b^2)^(1/3)))^(1/2),((I*3^(1/2)+3)*(-1+I*3^(1/2))/(I*3^(1/2)+1)/(I*3^(1/2)-3))^(1/2))*3^(1/2)*x^4*a*b^2
*e-6*I*B*(-(I*3^(1/2)-3)*x*b/(-1+I*3^(1/2))/(-b*x+(-a*b^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-a*b^2)^(1/3)+2*b*x+(-a*
b^2)^(1/3))/(I*3^(1/2)+1)/(-b*x+(-a*b^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-a*b^2)^(1/3)-2*b*x-(-a*b^2)^(1/3))/(-1+I*
3^(1/2))/(-b*x+(-a*b^2)^(1/3)))^(1/2)*EllipticPi((-(I*3^(1/2)-3)*x*b/(-1+I*3^(1/2))/(-b*x+(-a*b^2)^(1/3)))^(1/
2),(-1+I*3^(1/2))/(I*3^(1/2)-3),((I*3^(1/2)+3)*(-1+I*3^(1/2))/(I*3^(1/2)+1)/(I*3^(1/2)-3))^(1/2))*3^(1/2)*x^4*
a*b^2*e-12*I*B*(-(I*3^(1/2)-3)*x*b/(-1+I*3^(1/2))/(-b*x+(-a*b^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-a*b^2)^(1/3)+2*b*
x+(-a*b^2)^(1/3))/(I*3^(1/2)+1)/(-b*x+(-a*b^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-a*b^2)^(1/3)-2*b*x-(-a*b^2)^(1/3))/
(-1+I*3^(1/2))/(-b*x+(-a*b^2)^(1/3)))^(1/2)*EllipticF((-(I*3^(1/2)-3)*x*b/(-1+I*3^(1/2))/(-b*x+(-a*b^2)^(1/3))
)^(1/2),((I*3^(1/2)+3)*(-1+I*3^(1/2))/(I*3^(1/2)+1)/(I*3^(1/2)-3))^(1/2))*3^(1/2)*(-a*b^2)^(1/3)*x^3*a*b*e+12*
I*B*(-(I*3^(1/2)-3)*x*b/(-1+I*3^(1/2))/(-b*x+(-a*b^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-a*b^2)^(1/3)+2*b*x+(-a*b^2)^
(1/3))/(I*3^(1/2)+1)/(-b*x+(-a*b^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-a*b^2)^(1/3)-2*b*x-(-a*b^2)^(1/3))/(-1+I*3^(1/
2))/(-b*x+(-a*b^2)^(1/3)))^(1/2)*EllipticPi((-(I*3^(1/2)-3)*x*b/(-1+I*3^(1/2))/(-b*x+(-a*b^2)^(1/3)))^(1/2),(-
1+I*3^(1/2))/(I*3^(1/2)-3),((I*3^(1/2)+3)*(-1+I*3^(1/2))/(I*3^(1/2)+1)/(I*3^(1/2)-3))^(1/2))*3^(1/2)*(-a*b^2)^
(1/3)*x^3*a*b*e+6*I*B*(-(I*3^(1/2)-3)*x*b/(-1+I*3^(1/2))/(-b*x+(-a*b^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-a*b^2)^(1/
3)+2*b*x+(-a*b^2)^(1/3))/(I*3^(1/2)+1)/(-b*x+(-a*b^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-a*b^2)^(1/3)-2*b*x-(-a*b^2)^
(1/3))/(-1+I*3^(1/2))/(-b*x+(-a*b^2)^(1/3)))^(1/2)*EllipticF((-(I*3^(1/2)-3)*x*b/(-1+I*3^(1/2))/(-b*x+(-a*b^2)
^(1/3)))^(1/2),((I*3^(1/2)+3)*(-1+I*3^(1/2))/(I*3^(1/2)+1)/(I*3^(1/2)-3))^(1/2))*3^(1/2)*(-a*b^2)^(2/3)*x^2*a*
e-6*B*(-(I*3^(1/2)-3)*x*b/(-1+I*3^(1/2))/(-b*x+(-a*b^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-a*b^2)^(1/3)+2*b*x+(-a*b^2
)^(1/3))/(I*3^(1/2)+1)/(-b*x+(-a*b^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-a*b^2)^(1/3)-2*b*x-(-a*b^2)^(1/3))/(-1+I*3^(
1/2))/(-b*x+(-a*b^2)^(1/3)))^(1/2)*EllipticF((-(I*3^(1/2)-3)*x*b/(-1+I*3^(1/2))/(-b*x+(-a*b^2)^(1/3)))^(1/2),(
(I*3^(1/2)+3)*(-1+I*3^(1/2))/(I*3^(1/2)+1)/(I*3^(1/2)-3))^(1/2))*x^4*a*b^2*e-6*I*B*(-(I*3^(1/2)-3)*x*b/(-1+I*3
^(1/2))/(-b*x+(-a*b^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-a*b^2)^(1/3)+2*b*x+(-a*b^2)^(1/3))/(I*3^(1/2)+1)/(-b*x+(-a*
b^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-a*b^2)^(1/3)-2*b*x-(-a*b^2)^(1/3))/(-1+I*3^(1/2))/(-b*x+(-a*b^2)^(1/3)))^(1/2
)*EllipticPi((-(I*3^(1/2)-3)*x*b/(-1+I*3^(1/2))/(-b*x+(-a*b^2)^(1/3)))^(1/2),(-1+I*3^(1/2))/(I*3^(1/2)-3),((I*
3^(1/2)+3)*(-1+I*3^(1/2))/(I*3^(1/2)+1)/(I*3^(1/2)-3))^(1/2))*3^(1/2)*(-a*b^2)^(2/3)*x^2*a*e+6*B*(-(I*3^(1/2)-
3)*x*b/(-1+I*3^(1/2))/(-b*x+(-a*b^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-a*b^2)^(1/3)+2*b*x+(-a*b^2)^(1/3))/(I*3^(1/2)
+1)/(-b*x+(-a*b^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-a*b^2)^(1/3)-2*b*x-(-a*b^2)^(1/3))/(-1+I*3^(1/2))/(-b*x+(-a*b^2
)^(1/3)))^(1/2)*EllipticPi((-(I*3^(1/2)-3)*x*b/(-1+I*3^(1/2))/(-b*x+(-a*b^2)^(1/3)))^(1/2),(-1+I*3^(1/2))/(I*3
^(1/2)-3),((I*3^(1/2)+3)*(-1+I*3^(1/2))/(I*3^(1/2)+1)/(I*3^(1/2)-3))^(1/2))*x^4*a*b^2*e+12*B*(-(I*3^(1/2)-3)*x
*b/(-1+I*3^(1/2))/(-b*x+(-a*b^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-a*b^2)^(1/3)+2*b*x+(-a*b^2)^(1/3))/(I*3^(1/2)+1)/
(-b*x+(-a*b^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-a*b^2)^(1/3)-2*b*x-(-a*b^2)^(1/3))/(-1+I*3^(1/2))/(-b*x+(-a*b^2)^(1
/3)))^(1/2)*EllipticF((-(I*3^(1/2)-3)*x*b/(-1+I*3^(1/2))/(-b*x+(-a*b^2)^(1/3)))^(1/2),((I*3^(1/2)+3)*(-1+I*3^(
1/2))/(I*3^(1/2)+1)/(I*3^(1/2)-3))^(1/2))*(-a*b^2)^(1/3)*x^3*a*b*e-12*B*(-(I*3^(1/2)-3)*x*b/(-1+I*3^(1/2))/(-b
*x+(-a*b^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-a*b^2)^(1/3)+2*b*x+(-a*b^2)^(1/3))/(I*3^(1/2)+1)/(-b*x+(-a*b^2)^(1/3))
)^(1/2)*((I*3^(1/2)*(-a*b^2)^(1/3)-2*b*x-(-a*b^2)^(1/3))/(-1+I*3^(1/2))/(-b*x+(-a*b^2)^(1/3)))^(1/2)*EllipticP
i((-(I*3^(1/2)-3)*x*b/(-1+I*3^(1/2))/(-b*x+(-a*b^2)^(1/3)))^(1/2),(-1+I*3^(1/2))/(I*3^(1/2)-3),((I*3^(1/2)+3)*
(-1+I*3^(1/2))/(I*3^(1/2)+1)/(I*3^(1/2)-3))^(1/2))*(-a*b^2)^(1/3)*x^3*a*b*e-6*B*(-(I*3^(1/2)-3)*x*b/(-1+I*3^(1
/2))/(-b*x+(-a*b^2)^(1/3)))^(1/2)*((I*3^(1/2)*(-a*b^2)^(1/3)+2*b*x+(-a*b^2)^(1/3))/(I*3^(1/2)+1)/(-b*x+(-a*b^2
)^(1/3)))^(1/2)*((I*3^(1/2)*(-a*b^2)^(1/3)-2*b*x-(-a*b^2)^(1/3))/(-1+I*3^(1/2))/(-b*x+(-a*b^2)^(1/3)))^(1/2)*E
llipticF((-(I*3^(1/2)-3)*x*b/(-1+I*3^(1/2))/(-b*x+(-a*b^2)^(1/3)))^(1/2),((I*3^(1/2)+3)*(-1+I*3^(1/2))/(I*3^(1
/2)+1)/(I*3^(1/2)-3))^(1/2))*(-a*b^2)^(2/3)*x^2*a*e+6*B*(-(I*3^(1/2)-3)*x*b/(-1+I*3^(1/2))/(-b*x+(-a*b^2)^(1/3
)))^(1/2)*((I*3^(1/2)*(-a*b^2)^(1/3)+2*b*x+(-a*b^2)^(1/3))/(I*3^(1/2)+1)/(-b*x+(-a*b^2)^(1/3)))^(1/2)*((I*3^(1
/2)*(-a*b^2)^(1/3)-2*b*x-(-a*b^2)^(1/3))/(-1+I*3^(1/2))/(-b*x+(-a*b^2)^(1/3)))^(1/2)*EllipticPi((-(I*3^(1/2)-3
)*x*b/(-1+I*3^(1/2))/(-b*x+(-a*b^2)^(1/3)))^(1/2),(-1+I*3^(1/2))/(I*3^(1/2)-3),((I*3^(1/2)+3)*(-1+I*3^(1/2))/(
I*3^(1/2)+1)/(I*3^(1/2)-3))^(1/2))*(-a*b^2)^(2/3)*x^2*a*e+I*A*(1/b^2*e*x*(-b*x+(-a*b^2)^(1/3))*(I*3^(1/2)*(-a*
b^2)^(1/3)+2*b*x+(-a*b^2)^(1/3))*(I*3^(1/2)*(-a*b^2)^(1/3)-2*b*x-(-a*b^2)^(1/3)))^(1/2)*3^(1/2)*((b*x^3+a)*e*x
)^(1/2)*b^2-3*A*(1/b^2*e*x*(-b*x+(-a*b^2)^(1/3))*(I*3^(1/2)*(-a*b^2)^(1/3)+2*b*x+(-a*b^2)^(1/3))*(I*3^(1/2)*(-
a*b^2)^(1/3)-2*b*x-(-a*b^2)^(1/3)))^(1/2)*((b*x^3+a)*e*x)^(1/2)*b^2)/e^2/(e*x)^(1/2)/((b*x^3+a)*e*x)^(1/2)/a/(
I*3^(1/2)-3)/(1/b^2*e*x*(-b*x+(-a*b^2)^(1/3))*(I*3^(1/2)*(-a*b^2)^(1/3)+2*b*x+(-a*b^2)^(1/3))*(I*3^(1/2)*(-a*b
^2)^(1/3)-2*b*x-(-a*b^2)^(1/3)))^(1/2)

________________________________________________________________________________________

Maxima [F(-2)]  time = 0., size = 0, normalized size = 0. \begin{align*} \text{Exception raised: ValueError} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((B*x^3+A)/(e*x)^(5/2)/(b*x^3+a)^(1/2),x, algorithm="maxima")

[Out]

Exception raised: ValueError

________________________________________________________________________________________

Fricas [A]  time = 2.40648, size = 425, normalized size = 5.67 \begin{align*} \left [\frac{\sqrt{b e} B a x^{2} \log \left (-8 \, b^{2} e x^{6} - 8 \, a b e x^{3} - a^{2} e - 4 \,{\left (2 \, b x^{4} + a x\right )} \sqrt{b x^{3} + a} \sqrt{b e} \sqrt{e x}\right ) - 4 \, \sqrt{b x^{3} + a} \sqrt{e x} A b}{6 \, a b e^{3} x^{2}}, -\frac{\sqrt{-b e} B a x^{2} \arctan \left (\frac{2 \, \sqrt{b x^{3} + a} \sqrt{-b e} \sqrt{e x} x}{2 \, b e x^{3} + a e}\right ) + 2 \, \sqrt{b x^{3} + a} \sqrt{e x} A b}{3 \, a b e^{3} x^{2}}\right ] \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((B*x^3+A)/(e*x)^(5/2)/(b*x^3+a)^(1/2),x, algorithm="fricas")

[Out]

[1/6*(sqrt(b*e)*B*a*x^2*log(-8*b^2*e*x^6 - 8*a*b*e*x^3 - a^2*e - 4*(2*b*x^4 + a*x)*sqrt(b*x^3 + a)*sqrt(b*e)*s
qrt(e*x)) - 4*sqrt(b*x^3 + a)*sqrt(e*x)*A*b)/(a*b*e^3*x^2), -1/3*(sqrt(-b*e)*B*a*x^2*arctan(2*sqrt(b*x^3 + a)*
sqrt(-b*e)*sqrt(e*x)*x/(2*b*e*x^3 + a*e)) + 2*sqrt(b*x^3 + a)*sqrt(e*x)*A*b)/(a*b*e^3*x^2)]

________________________________________________________________________________________

Sympy [A]  time = 29.5105, size = 60, normalized size = 0.8 \begin{align*} - \frac{2 A \sqrt{b} \sqrt{\frac{a}{b x^{3}} + 1}}{3 a e^{\frac{5}{2}}} + \frac{2 B \operatorname{asinh}{\left (\frac{\sqrt{b} x^{\frac{3}{2}}}{\sqrt{a}} \right )}}{3 \sqrt{b} e^{\frac{5}{2}}} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((B*x**3+A)/(e*x)**(5/2)/(b*x**3+a)**(1/2),x)

[Out]

-2*A*sqrt(b)*sqrt(a/(b*x**3) + 1)/(3*a*e**(5/2)) + 2*B*asinh(sqrt(b)*x**(3/2)/sqrt(a))/(3*sqrt(b)*e**(5/2))

________________________________________________________________________________________

Giac [A]  time = 1.24993, size = 146, normalized size = 1.95 \begin{align*} -\frac{2}{3} \,{\left (\frac{B \arctan \left (\frac{\sqrt{b e + \frac{a e}{x^{3}}}}{\sqrt{-b e}}\right ) e^{\left (-1\right )}}{\sqrt{-b e}} + \frac{\sqrt{b e + \frac{a e}{x^{3}}} A e^{\left (-2\right )}}{a} - \frac{{\left (B a \arctan \left (\frac{\sqrt{b} e^{\frac{1}{2}}}{\sqrt{-b e}}\right ) e + \sqrt{-b e} A \sqrt{b} e^{\frac{1}{2}}\right )} e^{\left (-2\right )}}{\sqrt{-b e} a}\right )} e^{\left (-1\right )} \end{align*}

Verification of antiderivative is not currently implemented for this CAS.

[In]

integrate((B*x^3+A)/(e*x)^(5/2)/(b*x^3+a)^(1/2),x, algorithm="giac")

[Out]

-2/3*(B*arctan(sqrt(b*e + a*e/x^3)/sqrt(-b*e))*e^(-1)/sqrt(-b*e) + sqrt(b*e + a*e/x^3)*A*e^(-2)/a - (B*a*arcta
n(sqrt(b)*e^(1/2)/sqrt(-b*e))*e + sqrt(-b*e)*A*sqrt(b)*e^(1/2))*e^(-2)/(sqrt(-b*e)*a))*e^(-1)